package sketch.specs.symbc;

import gov.nasa.jpf.symbc.Debug;

public class MyClassChar {
	
	public void myMethod(char x, char y) {
		if(x == 'a') {
			if(y == 'b') {
				System.out.println("reach here x y is true");
			} else {
				System.out.println("reach here x true y is false");
			}
		} else {
			if(x == 'x' && y == 'y') {
				System.out.println("reach here x false y is true");
			} else {
				System.out.println("reach here x false y is false");
			}
		}
	}
	
	public static void main(String[] args) {
		MyClassChar mc = new MyClassChar();
		mc.myMethod('0', '0');
		Debug.printPC("\nMyClassChar.myMethod Path Condition: ");
	}
}